Fix Texinfo usage. Write GNU/Linux, not Linux.
authorRichard M. Stallman <rms@gnu.org>
Sun, 4 Mar 2001 07:14:22 +0000 (07:14 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sun, 4 Mar 2001 07:14:22 +0000 (07:14 +0000)
commit4eda8a85dd827be575a00bdb6c278cf4d55f1b94
tree4fe7c0ac214a93c681233bbee93906e211095f33
parenta56c5540ebc666308ffb0edc334d72bb0d537469
Fix Texinfo usage.  Write GNU/Linux, not Linux.
man/woman.texi